Виталик Бутерин дает подробное введение в Binius, высокоэффективную систему доказательств на основе бинарных полей. В статье сначала рассматриваются понятия конечных полей и арифметизации, объясняется, как работают системы доказательств SNARK и STARK, преобразуя операторы программы в полиномиальные уравнения. Виталик отмечает, что хотя Plonky2 доказал, что использование более мелких 64-битных и 31-битных полей может значительно улучшить эффективность генерации доказательств, Binius дополнительно повышает эффективность, работая непосредственно с нулями и единицами, используя особенности бинарных полей. Binius использует многомерные полиномы для представления вычислительных следов и применяет ряд математических трюков, включая концепцию гиперкубов и кодирование Рида-Соломона, для построения доказательств. Виталик считает, что прямая вычислительная способность бинарных полей и операции над битами являются ключом к эффективности Binius.
5/16/2024, 8:13:43 AM